Skip to content

Update CI #92

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Mar 5, 2025
Merged

Update CI #92

merged 4 commits into from
Mar 5, 2025

Conversation

santib
Copy link
Member

@santib santib commented Dec 29, 2024

No description provided.

@santib santib force-pushed the update-ci branch 3 times, most recently from fa2d83a to 5e68c7a Compare December 29, 2024 18:06
@santib santib force-pushed the update-ci branch 2 times, most recently from 04074b8 to 22c2030 Compare January 27, 2025 18:45
@santib santib force-pushed the update-ci branch 2 times, most recently from e1dac29 to 4f20408 Compare January 27, 2025 18:59
@santib santib requested a review from juanmanuelramallo March 5, 2025 13:20
@santib santib merged commit 115a119 into master Mar 5, 2025
34 checks passed
@santib santib deleted the update-ci branch March 5, 2025 13:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant